#include <threads.h>
namespace alpha_core_C11Lock {
	mtx_t mtx1;

	void bad1(void)
	{
		mtx_lock(&mtx1);
		mtx_lock(&mtx1); // warn: This lock has already been acquired
	}
}